Canonical Forms in
ثبت نشده
چکیده
In 7] a hierarchy of directed acyclic graph (dag) algebras is deened. The dags belonging to an algebra are deened up to an isomorphism which can be expressed by a congruence over a free term algebra, i.e. a dag is described by a congruence class of terms. In this paper we deal with the following problem: can be deened a canonical form in every congruence class and a canonical (connuent and terminating) relation ! such that for any canonical form w0 we have w !! w0, for any w in the class w0]?
منابع مشابه
Infinite-dimensional versions of the primary, cyclic and Jordan decompositions
The famous primary and cyclic decomposition theorems along with the tightly related rational and Jordan canonical forms are extended to linear spaces of infinite dimensions with counterexamples showing the scope of extensions.
متن کاملCanonical forms for complex matrix congruence and *congruence
Canonical forms for congruence and *congruence of square complex matrices were given by Horn and Sergeichuk in [Linear Algebra Appl. 389 (2004) 347–353], based on Sergeichuk’s paper [Math. USSR, Izvestiya 31 (3) (1988) 481–501], which employed the theory of representations of quivers with involution. We use standard methods of matrix analysis to prove directly that these forms are canonical. Ou...
متن کاملCanonical Forms of Singular 1d and 2d Linear Systems
The paper consists of two parts. In the first part, new canonical forms are defined for singular 1D linear systems and a procedure to determine nonsingular matrices transforming matrices of singular systems to their canonical forms is derived. In the second part new canonical forms of matrices of the singular 2D Roesser model are defined and a procedure for determining realisations in canonical...
متن کاملCanonical lossless state-space systems: staircase forms and the Schur algorithm
A new finite atlas of overlapping balanced canonical forms for multivariate discrete-time loss-less systems is presented. The canonical forms have the property that the controllability matrix ispositive upper triangular up to a suitable permutation of its columns. This is a generalization of asimilar balanced canonical form for continuous-time lossless systems. It is shown that this...
متن کاملReduced Canonical Forms of Stoppers
The reduced canonical form of a loopfree game G is the simplest game infinitesimally close to G. Reduced canonical forms were introduced by Calistrate, and Grossman and Siegel provided an alternate proof of their existence. In this paper, we show that the Grossman–Siegel construction generalizes to find reduced canonical forms of certain loopy games.
متن کاملInvariants and canonical forms for linear multivariable systems under the action of orthogonal transformation groups
Subject of the present paper is the study and construction of complete independent invariants and canonical forms for linear multivariable systems under the action of orthogonal transformation groups. Stable computational algorithms for finding the orthogonal canonical forms are presented and their numerical properties are discussed. In view of their nice numerical properties the orthogonal can...
متن کامل